$\forall$$F$, $t$:Top. (CV($F$)($t$)) $\sim$ ($F$($t$,CV($F$)))